package org.redr.widgetGUI.settings;

import org.w3c.dom.Element;

public class RVariableSettings extends XMLSetting{
	
	
	public RVariableSettings(Element element){
		e = element;
		
	}

}
